Offline Model-based Testing and Runtime Monitoring of the Sensor Voting Module
نویسندگان
چکیده
Formal specifications are widely used in the development of safety critical systems, as the Sensor Voting Module of the Landing Gear System. However, the conformance relationship between the formal specification and the concrete implementation must be checked. In this paper, we show a technique to formally link a Java class with its Abstract State Machine formal specification, and two approaches for checking their conformance: an offline model-based testing approach and an online runtime monitoring approach.
منابع مشابه
Online Monitoring for Industrial Processes Quality Control Using Time Varying Parameter Model
A novel data-driven soft sensor is designed for online product quality prediction and control performance modification in industrial units. A combined approach of time variable parameter (TVP) model, dynamic auto regressive exogenous variable (DARX) algorithm, nonlinear correlation analysis and criterion-based elimination method is introduced in this work. The soft sensor performance validation...
متن کاملOptimization of Online induction Sensor for Ferrous Metals Particles Identification in Engine Oil
Engine oil is one of most important parameters in internal combustion engine that plays effective role in component wear. One of the ways to optimize the performance of the IC engines is online monitoring of wear particle in engine oil. There are different ways to identifying these particles, most of which are offline. Nowadays online oil monitoring sensors are quickly developed. In this study ...
متن کاملPreventing Key Performance Indicators Violations Based on Proactive Runtime Adaptation in Service Oriented Environment
Key Performance Indicator (KPI) is a type of performance measurement that evaluates the success of an organization or a partial activity in which it engages. If during the running process instance the monitoring results show that the KPIs do not reach their target values, then the influential factors should be identified, and the appropriate adaptation strategies should be performed to prevent ...
متن کاملMulti-Person Pose Recognition Using a Zigbee Sensor Network
This paper presents a novel design of a robotic multi-person posture recognition system. The proposed system consists of a human posture detection module, a wireless sensor network and a multi-person activity monitoring software running on a mobile robot. The human posture detection is based on a triaxial accelerometer and the developed posture recognition algorithms. Further, the posture detec...
متن کاملA New Voting Model For Groups With Members of Unequal Power and Proficiency
To proposing a voting model for groups with members of unequal power and proficiency, we present some models for rank ordering efficient candidates, by extending the ideas of some authors. Then, we propose a new methodology to rank the ranking models for the performance indices of only DEA efficient candidates based on a classical voting model. Also, an approach for combining the results obtain...
متن کامل